Hakuluettelo:
Käännös:
Kripke frame (suomeksi)
- Määritelmät:
- (lb, en, logic) A set, whose elements are called ''nodes'' or ''worlds'', together with a preorder, preordering relation for that set, called its ''accessibility relation''.
Viimeisimmät haut: Kripke frame, shower in a can, openhanding, kitchen cake, sormiväri, macropolymers